|
|
1.
使用OWL DL形式化表达对象角色建模模型
潘文林 刘大昕
计算机应用
2011, 31 (04):
1062-1066.
DOI: 10.3724/SP.J.1087.2011.01062
对象角色建模(ORM)方法已应用于本体工程，因此需要将ORM模型转换为OWL DL公理，以便将ORM本体发布到语义Web上，同时还可使用支持DL的推理机来检查ORM本体的语义一致性和冗余问题。通过模型语义分析、模型等价转换、引入新的运算符和特性等方法，提出将ORM模型形式化表达为OWL DL公理的规则。除了外部唯一约束等四种约束外，其他形态的ORM模型都可以形式化表达为OWL DL公理。
相关文章 |
多维度评价
|
|
